open function foo() = 42